Embedded software - PDFSEARCH.IO - Document Search Engine

Embedded software
Results: 3442

#	Item
651	Ada 2005 for Mission-Critical Systems José F. Ruiz AdaCore 8 rue de MilanParis, France Phone: +16 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:59:45 Ada programming language Real-time computing Embedded systems Scheduling algorithms Ada Ravenscar profile Real-time operating systems SPARK Worst-case execution time Computing Software engineering Computer programming
652	Rocket Launch Maya’s particle system is a powerful and extensive collection of tools and features for simulating a variety of effects such as dust, sand, fire, clouds, explosions, smoke, and liquids. Effects such as th Add to Reading List Source URL: www.blackorb.com Language: English - Date: 2009-11-21 15:10:13 Software Computer graphics 3D computer graphics Particle system Virtual reality Maya Embedded Language Autodesk Maya PowerAnimator Attribute Graphics software 3D graphics software Animation software
653	The PostgreSQL Decade BRUCE MOMJIAN July, 2006 This talk is about the first decade of PostgreSQL. Creative Commons Attribution License Add to Reading List Source URL: momjian.us Language: English - Date: 2014-12-06 10:08:32 Computing PostgreSQL Ingres Michael Stonebraker Embedded SQL Database management system Software Cross-platform software Data management
654	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionAugust 2014) Contents Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2014-07-31 17:48:59 Embedded Linux Cloud clients Android Apache Ant Application software JAR Software Computing Smartphones
655	Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012 Add to Reading List Source URL: www.absint.com Language: English - Date: 2012-04-23 04:44:53 Software Avionics Embedded systems Software testing DO-178B Astrée Functional Safety DO-178C Software development process Software development Safety Software requirements
656	SECURE2013 ANDROTOTAL A SCALABLE FRAMEWORK FOR ANDROID ANTIMALWARE TESTING Add to Reading List Source URL: www.syssec-project.eu Language: English - Date: 2014-02-23 14:41:12 Embedded Linux Cloud clients Computing Android Sandbox Software System software Smartphones
657	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMarchDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-03-04 17:31:33 Smartphones Android Application programming interface Apache Ant Software Computing Embedded Linux
658	Microsoft Word - KEIO-NEC-NC3240S-Adoc Add to Reading List Source URL: dcimovies.com Language: English - Date: 2012-10-12 00:31:58 BIOS Field-programmable gate array Software Electronics Electronic engineering Computer architecture Embedded systems Firmware Digital cinema
659	www.dspace.com Safely Excluding Serious Errors Translation of “Schwere Fehler sicher ausschließen” Published at: Elektronik Automotive Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-19 10:20:55 Software bugs Abstract interpretation Astrée Embedded systems Program analysis Cross-platform software Worst-case execution time TargetLink Static program analysis Computing Software engineering Computer programming
660	MYCAPTION.COM, INC. 440 N. Wolfe Rd., Sunnyvale, CA 94085 + (Phone) ® Add to Reading List Source URL: www.mycaption.com Language: English Smartphones Computing Information appliances Embedded operating systems Personal information managers Gmail SMS Microsoft Outlook BlackBerry Tour Software BlackBerry Technology

UPDATE